| |||||||||||||||| 2 points by | It seems that generating hypotheses is no longer the main problem. The harder problem may be continuously collecting real-world data, building accurate world models, and using them to guide experiments. Is this where automated research is heading? | ||||||||||||||| Applications are open till July 27. |
Bend – A language that blocks AI mistakes via proof, on CPU and GPU